181. Applied ProbabilityComputer Science
پدیدآورنده: \ sponsored by Applied Probability Technical Section-College of the Operations Research Society of America, the Institute of Management Sciences, January 5-7, 1981, Florida Atlantic University, Boca Raton, Florida ; Ralph L. Disney, Teunis J. Ott, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Electronic data processing -- Congresses.,Computer programming -- Congresses.,داده‌پردازی -- کنگره ها,برنامه‌نویسی -- کنگره ها
رده :
E-Book
,
182. Applied algebra, algebraic algorithms and error-correcting code
پدیدآورنده: / Maria Bras-Amoraos, Tom H�holdt (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Error-correcting codes (Information theory)--Congresses,Algebra--Data processing--Congresses,Algorithms--Congresses
رده :
QA
,
268
,.
A35
,
2009
183. Applied algebra, algebraic algorithms and error-correcting codes
پدیدآورنده: Marc Fossorier ... [et al.] (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Error - correcting codes (Information theory),رمزگان تصحیح خطا,a01,a01,Algebra-- Data processing, Congresses.,Algorithms, Congresses.
رده :
QA268
.
A35
2006
E-Book
,
184. Applied parallel and scientific computing :
پدیدآورنده: Kristján Jónasson (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Programmation parallèle (Informatique) -- Congrès.
185. Applied parallel computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel processing (Electronic computers) ; Congresses. ; Science ; Data processing ; Congresses. ; Technology ; Data processing ; Congresses. ; High performance computing ; Congresses. ;
186. Applied parallel computing
پدیدآورنده: / Bo Kaagstr?�m ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel processing (Electronic computers)--Congresses,Science--Data processing--Congresses,Technology--Data processing--Congresses
رده :
QA
,
76
.
58
,.
P353
,
2006
187. Applied parallel computing : Computations in physics, chemistry and engineering : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings
پدیدآورنده: Jack Dongarra, Kaj Madsen, Jerzy Wasniewski, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Data processing -- Congresses ، Physics,Data processing -- Congresses ، Chemistry,Data processing -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
1041
188. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده: Manuel Nunez ...]et al.[ )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
189. Approximation algorithms for complex system
پدیدآورنده: / Emmanuil H. Georgoulis, Armin Iske, Jeremy Levesley, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Approximation theory--Data processing--Congresses,Algorithms--Congresses,Computer algorithms--Congresses
رده :
QA
,
221
,.
I58
,
2011eb
190. Approximation and online algorithms
پدیدآورنده: Klaus Jansen, Roberto Solis-Oba (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Approximation theory-- Data processing, Congresses,Computer algorithms, Congresses,Mathematical optimization, Congresses
رده :
QA76
.
9
.
A43
W36
2011
191. Arabic and Chinese Handwriting Recognition
پدیدآورنده: \ David Doermann, Stefan Jaeger (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Optical character recognition devices -- Congresses.,Writing, Arabic -- Data processing -- Congresses.,ابزار نوری بازشناسی کاراکتر -- کنگره ها,خ‍ط ع‍رب‍ی -- داده پردازی -- کنگره ها
رده :
E-Book
,
192. Archaeology and the Information Age
پدیدآورنده: \ edited by Paul Reilly, Sebastian Rahtz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Archaeology -- Data processing -- Congresses.,باستان‌شناسی -- داده‌پردازی -- کنگره ها
رده :
E-Book
,
193. Archaeology and the information age
پدیدآورنده: / edited by Paul Reilly, Sebastian Rahtz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Archaeology--Data processing--Congresses,Electronic books.--local
رده :
CC
,
80
.
4
,.
A73
,
1992eb
194. Artificial intellgence and information-control systems of robots-87: proceedings of the fourth international conference on artificial in telligence and information-control systems of robots, smolenice, czechoslovakia, 19-23 October, 1987
پدیدآورنده: edited by Ivan Plander
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Artificial intelligence,Congresses ، Robotics,Congresses ، Electronic data processing,Congresses ، Expert systems )Computer science(,Congresses ، Perceptrons
رده :
Q
334
.
I55
1987
195. Artificial intelligence and information-control systems of robots-87
پدیدآورنده: edited by Ivan Plander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Robotics,Congresses ، Electronic data processing,Congresses ، Expert systems )Computer science(,Congresses ، Perception
رده :
Q
334
.
I55
1987
196. Artificial intelligence expert systems and symbolic computing
پدیدآورنده: / edited by E.N.Houstis and J.R.Rice
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Artificial interlligence - Congresses,Expert systems (Computer science) - Congresses,Electronic data processing - Congresses
رده :
Q
334
.
I45
1991
197. Artificial intelligence research and development :
پدیدآورنده: edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
198. Automated Deduction in Geometry
پدیدآورنده: \ Francisco Botana , Pedro Quaresma (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer graphics,گرافیک کامپیوتری,a03,a03,Geometry -- Data processing -- Congresses.,Automatic theorem proving -- Congresses.,هندسه -- داده پردازی -- کنگره ها
رده :
T
385
.
A92
2015
E-Book
,
199. Automated deduction in geometr
پدیدآورنده: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
200. Automated deduction in geometry
پدیدآورنده: / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
448
,.
D38
,
I577
,
1998
